nLab secondary characteristic class

Redirected from "secondary invariant".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Differential cohomology

\infty-Chern-Weil theory

Contents

Idea

In its most refined form, a secondary characteristic class is a characteristic class in ordinary differential cohomology. The term “secondary” refers to the fact that such a differential cohomology class in degree nn not only encodes a degree-nn class in integral cohomology, but in addition higher connection data in degree (n+1)(n+1): the data of a circle n-bundle with connection.

The refined Chern-Weil homomorphism takes values in such “secondary characteristic classes”.

But the precise meaning of the term secondary characteristic class varies a little in the literature, as follows. Historically it was first understood in more restricted senses.

  1. In the strict sense of the word, a secondary characteristic class is a characteristic of a situation where an ordinary characteristic class vanishes (PetersonStein1962).

  2. More specifically, a special case of this situation in differential geometry arises where the characteristic class is represented in de Rham cohomology by a curvature characteristic form. If that curvature form happens to vanish, the corresponding Chern-Simons form itself becomes closed, and now itself represents a cohomology class, in one degree lower. This is often called the corresponding Chern-Simons secondary characteristic class . Sometimes the term “secondary geometric invariants” is used for Chern-Simons forms (see for instance the review (FreedII)).

  3. Using refined Chern-Weil theory the notions of curvature characteristic forms and their Chern-Simons forms are unified into the notion of cocycles in ordinary differential cohomology. The notion of Cheeger-Simons differential character was introduced to describe this unification, and it is has become tradition to call these differential characters themselves secondary characteristic classes independently of whether the corresponding ordinary characteristic class/curvature characteristic form vanishes or not (for instance (DupontKamber, Karlsson). More descriptively, this case is maybe better referred to as a differential characteristic class . See there for more details.

Higher order invariants and boundary field theory

The statement that secondary invariants are indeed secondary to primary invariants can be formalized in the language of prequantum boundary field theory by saying that (higher) topological Yang-Mills theory (which is controled by differential Chern classes) has as boundary field theory (higher) Chern-Simons theory.

As explained at boundary field theory, this statement is reflected by the existence of a universal correspondence in the slice (∞,1)-topos H /B n+1U(1)\mathbf{H}_{/\flat \mathbf{B}^{n+1}U(1)}, where H\mathbf{H} is Smooth∞Grpd, \flat is the flat modality and B n+1U(1)\mathbf{B}^{n+1}U(1) is the circle (n+2)-group:

X F () * B nU(1) conn F () Ω cl n+1 B n+1U(1), \array{ && X \\ & \swarrow &\downarrow^\nabla& \searrow^{\mathrlap{F_{(\nabla)}}} \\ \ast &\leftarrow& \mathbf{B}^n U(1)_{conn} &\stackrel{F_{(-)}}{\to}& \Omega^{n+1}_{cl} \\ & \searrow &\swArrow& \swarrow_{\mathrlap{}} \\ && \flat \mathbf{B}^{n+1}U(1) } \,,

where the bottom right map is the canonical one in the context of differential cohesion, the outer diagram is any specified one and the factorization through the

This exhibits a secondary invariant \nabla (a cocycle in ordinary differential cohomology) of degree (n+1) as a boundary condition for the theory of closed characteristic forms.

In this picture, one obtains further “higher order invariants” by successively further transgrssing and forming higher order boundaries.

If we view here, as we may \nabla as the local Lagrangian of an infinity-Chern-Simons theory, then the ternary invariants are WZW terms; the quaternary invariants are Wilson loop terms. (lpqft)

References

The notion in its general cohomological sense appears in

  • Franklin P. Peterson, Norman Stein, Secondary characteristic classes, Annals of mathematics, Vol 76, No. 3 (1962)

The notion of Chern-Simons forms originates in

The special meaning in the context of Chern-Weil theory in differential geometry was established by the introduction of Cheeger-Simons differential character in

Review:

  • Dan Freed, Classical Chern-Simons theory II (pdf)

  • Johan Dupont, Franz Kamber, Gerbes, Simplicial forms and Invariants for Families of Foliated Bundles (pdf)

  • Michelle Karlsson, Characteristic classes and bounded cohomology (pdf)

Lecture notes on secondary cohomology classes in differential cohomology for flat connections is presented in

Discussion in complex algebraic geometry is in

Discussion of secondary classes being torsion elements:

Discussion of secondary characteristic classes in string cobordism cohomology theory and in tmf:

Discussion of secondary and higher order invariant as higher order boundary field theories to higher topological Yang-Mills prequantum field theory is in

Specifically the secondary Chern-Simons and quaternary WZW invariants in this context are discussed in

Last revised on April 13, 2021 at 17:54:39. See the history of this page for a list of all contributions to it.